include ../resources/kprove-erc20-group.mak
